Coherent Banach Spaces: a continuous denotational semantics extended abstract
نویسندگان
چکیده
منابع مشابه
Coherent Banach Spaces : a Continuous Denotational Semantics Extended Abstract
We present a denotational semantics based on Banach spaces ; it is inspired from the familiar coherent semantics of linear logic, the role of coherence being played by the norm : coherence is rendered by a supremum, whereas incoherence is rendered by a sum, and cliques are rendered by vectors of norm at most 1. The basic constructs of linear (and therefore intuitionistic) logic are implemented ...
متن کاملCoherent Banach Spaces: A Continuous Denotational Semantics
We present a denotational semantics based on Banach spaces ; it is inspired from the familiar coherent semantics of linear logic, the role of coherence being played by the norm : coherence is rendered by a supremum, whereas incoherence is rendered by a sum, and cliques are rendered by vectors of norm at most 1. The basic constructs of linear (and therefore intuitionistic) logic are implemented ...
متن کاملStratified coherent spaces: a denotational semantics for Light Linear Logic
We introduce a stratified version of the coherent spaces model where an object is given by a sequence of coherent spaces. The intuition behind it is that each level gives a different degree of precision on the computation, an appearance. A morphism is required to satisfy a coherence condition at each level and this setting gives a model of Elementary Linear Logic. We then introduce a measure fu...
متن کاملAbstract Interpretation From a Denotational-semantics Perspective
interpretation from a denotational-semantics perspective
متن کاملOn Denotational Completeness Extended Abstract
The founding idea of linear logic is the duality between A and A ? , with values in ?. This idea is at work in the original denotational semantics of linear logic, coherent spaces, but also in the phase semantics of linear logic, where the A bilinear form B which induces the duality is nothing but the product in a monoid M , ? being an arbitrary subset B of M. The rather crude phase semantics h...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 1996
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80405-0